another fix of the documentation