Make minor style changes

We probably just missed these.