A few more changes to the style guide