Fixing up some UTF-8 encoding issues
remove mathfacts