Fixes a header error