Fix for adjacency ugliness in header.