small bug fix

Small bug introduced by previous checkin