Fix up serial debug output