Trivial fix for the header.