Removed: debug code