minor documentation bug fix