Minor tweak to debug printout

untested