Follow-up r82285: we should not apply case conversion to these names, because it...