Correct, as a replacement:

406.4(D)(2)(c) permits a non-grounding receptacle to be replaced by a grounding type if fed thru a GFCI and clearly marked (after installation) "GFCI Protected" and "No Equipment Ground"