Added RunSpec.hs to make bug #35 a bit more explicit