Fix a typo; s/†/‡/