Fixes to the output to nubugger