Minor change to header