Coding style and document fix