Fix indenting a bit (issue #8082 reported by selsky)