fixed emit_typ