Minor documentation edit.