fix a typo, reported by X.R. Li
Update docs