Cosmetic change: remove some debug output.