If I had written it, that's what I would have used as it more accurately represents what we're looking for. In practice it won't matter though; the only difference occurs on invalid input.