Fix devel bugs in BackFillPennkey