Minor addition to header