fix a cut/paste bug in debugging code