add the usual top comment