It would be simpler to just dedent these lines.