Minor bug fix to certificate of elimination generation