appropriately handle backslashes in string literal (amends 8e06e69; #4)