I pushed a change which should correctly deal with timestamps inside the header line. Please let me know if this works for you.