replace a few missed &rarr;'s. closes #4350