Fix a debug printout bug