CORE-4031: removed some debugging code