Removed debug code: