Small fix to the printed debug message