Fixing indentation in #423