various fixes
modified:   src/Core.hs
modified:   src/Main.hs
modified:   src/Util.hs