documentation fixes

While reading the docs, I came up with some fixes.