Re-fixed parameters not being name-mangled twice.