JUMPI definition minor fix.