fix for name mangling bug