CODING_GUIDELINES: Fix typo: / => \