Correct an ambiguity in the documentation