Minor changes to the ARB_debug_output formatter