#1123: don't mix indentation levels