Issue #503: Fix some errors reported by Peter; check the escape of backslashes.