Made it so deTraverse() turns backslashes into normal slashes as well.