Small fix for header