Re: a hole in PGP