Minor modification in doc