OpenPGP.js: workaround strange bug...