removed some (broken) debugging code