More fix in the documentation