Correction for asclass name mangling