Fixes issue #7 - incorrect type in TRACE_HEADER_DEF