Corrigendum: Public‐key encryption indistinguishable under plaintext‐checkable attacks. (1st May 2020)