Get rid of double backslashes, which have mysteriously changed behavior and now actually show up twice