Minor fixes in the Coding Style Guide.