Fix wrong arguments passed to GHCi session causing warning messages