Fix up some comment header formatting