remove now-unnecessary function (here too)