Cosmetic change, code style fix.
Fix disappearing backslashes.