minor documentation fixes

I'm finding some small problems with the documentation.