Trivial fix to indentation