minor change: removed debug code