Yet another minor fixes to documentation