change suggested by lbell: don't do this

(seems like we don't need it)