Style cleanup forgotten in second previous commit.