multiple minor fixes to documentation