Small fixes in documentation

Documentation fixes.