minor correction in docs/setting-up-pgp