fixes the header for int types.