remove some forgotten debugging output