CORE-4155: removed some debugging code