Will fix in this (and other) places - thanks for the pointer to the style guide as well.