minor style fixups