Minor documentation bugfix