remove now-unused parameter