Minor: Fix header