Use raw strings for regular expressions in Python: otherwise I have to worry about how backslashes are interpreted.