specs: fix for new ID instructions