Update to Jax 3.2, small tweaks