another small bug fix

:)