gpg_refresh_keys.py - small fixes