fixed a silly bug. forgot to add OverloadedStrings to UserTools.hs