Issue #533, Fixing indentation