minor bug fix in docs.