Minor documentation edit