This fixes #8340.  The copyright date has changed.