Trivial change to improve DEBUG output.