Update documentation

Robert Verkerkrequested to merge
(removed):doc_fixes into doc_fixes

Some minor documentation fixes

Merge request reports