Fix Flex2.hs