Just a couple of fixes in documentation