Coding style fixups