Documentation: added some other minor improvements