Minor tweak to get better debugging output.