Fixed formatting broken by the previous commit.