Tiny documentation fixes

No match.