Resolve "Gui tests fail after latest merge"

Closes #824 (closed). The reason was a left-over debug print statement in a react component (the recursive browser render test raise exceptions if anything is written to the console).