Removed: debugging prints