Some additions to the style guide