Minor tweaks to debugging outputs.