dxdiagn: Fix TRACE/FIXME formats.