Fix a bug with minified header