fixed small bug in Config.hs