small fix

(I guess you knew already)