fix a small bug in requirement