small fix

;-)