Minor documentation fixes

:)