We removed some debug output and put an assert