retype

v. (-ping) type again, esp. To correct errors.