tiny fixes to repo gpg