Actually delete this code, since it's really not clear what it's
trying to do.