Minor documentation bug fix