Minor update: copyright notices.