Restored indentation which was messed up by previous commit.