Minor indentation bugfixing