fixed a backslash substitution bug

hurray!