Minor issue in the coding standards doc