fixed what I believe is a typo regarding the properties of the spaceship operator