Fix parseMangledName

This PR fixes a mistake in #906.