Minor modification of header