Updated PGP (rev 0.5).