minor fix to header