Minor formatting change while I'm thinking about it. (#389)