minor documentation improvement