Merge the copyright line to satisfy haddock