Tidying for new release versions. Fix copyright date.