Tweaking debugging output.