small addition in doc