tiny fixes in the documentation