Fixed JAX bug