Fix header documentation