minor change: removed unused code