Minor fixes

:)