Correct compilation of JNE instruction