small fixes
;