code.ml: fix backslash typo in string