Text this: Correcting the security definition of the Bellare-Rogaway 3PKD model