Update Options.hs