Fix incorrect comment header
AbandonedPublic

Authored by bgamari on Nov 27 2018, 3:19 PM.