minor bug fix in header of intersecting time tables