Fix names for /: and \: