fixes #7666, #7667, #7668 - errata mail notifications

Missed this earlier, but we do tend to put copyright notices at the top of all of our files.