Minor simplification
Correct encoding for Jcc rel32