don't need this debug output anymore