typo in normalize_plaintext.length example