spec9: fix wrong id