fixed an issue with the coding style document