Fix a typo in coding guidelines introduction.

Don't make the style even worse.