issue #10259: wrong debug line removed;