copyright date refinement, tested-with GHC 7.4.1