remove some debug code which was forgotten