A bunch of small fixes, most notably attempting to fix a bug with backslashes and modreqs