Removed debug code (oops!)