update syntax.jax to 7.3.1129
close #82