Is this change of indentation level intentional?