Minor update: bug fix - header intersection