Update CoreSources.hs