Style fixes that got eaten.