eqnref -> eqnrefp in appropriate places.