fix formating of the Timing header