more fixes to documentation