Fixes to header.