ref -> eqref in 2.1