documentation bug fix