Documentation: corrections