fixing a minor typo in CODING_STANDARDS document