AGI: Fix typo in issetv opcode

This fixes bug #3611262