indenting
issue #634: Web interface bug: Escape does not always propagate