minor amend in docs