minor documentation edit.