Trivial style fixups.