minor fixes in the documentation