fixing small bug in spec