Small correction in documentation