Adjust exports to clear haddock warning