Oops. Removed debugging code.