mgj : minor mod in doc