Revert "Minor changes in documentation"

This reverts commit 6198b80ea881c79a72f72ee3503adcb4d49dedc9.
Revert "Merging branch master into master-comsode"

This reverts commit e71919bbcb4b6c76c3a84e81af25fc93b905b036.
Minor changes in documentation