little fixes in the documentation