minor documentation edit