Typo in TRACE_HEADER_DEF