Stupid change to keep ghc-modi happy
Cleaning up