Some minor fixes to documentation