bug fix in docs