Fix incorrect comment header
AbandonedPublic

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