remove a bad introduction of a dbl'd type