small possible bug fix