Minor teaks to English spelling/grammar in documentation.html