fix typo, Full stage1 emulation now runs