bug fix in the documentation