Fix header documentation that causes a bug on every header