Fix bad indentation

This was introduced in #368.