Minor documentation bug fix.