fix small bug added by previous commit