Little correction in documentation