Fixing a bug during CiviKey's first launch