fix some debug code left in last push