Fix #13463: Update copyright