minor fixes

:)