little fixes in docs