Documentation: minor corrections