master: fixing small bug