Fix of the previous commit.

Add the correct version of Main.hs.