minor change in doc file