removed some forgotten debugging output prints