Made some changes to nfs.hs