Since we don't use ``decodedName`` in this case, is the returned name correctly unmangled?