An additional sentence like that one would help :) ... and be sufficient, I'd say (it's not that important, except for the attacker's performance considerations ...).