fix bad format string for gendecls