Get rid of a vestige of register caching