minor bug fix in docs.
minor bug fix in docs.