Update Config.hs