minor fixes to documentation