Documentation: New wording and some style