Fix some indentation that got damaged in the previous commit