Debug output fixes
This just in from the QA department. ;-) I found one more superfluous debugging output in the C code, and one legacy tcl command ("lower") that we already got rid of elsewhere, so I commented out this one as well. All fixed with this merge request.