minor change: remove unused code