Fix missing comment banners from master merge