Fixing a bunch of "ref" and "eqref" statements (space and tildes).