[util-44] Fix header for Hammerhead.