Explicitly mention semantic security.
Fix typo.