Documentation

Documentation fixes, split off from pull request 738