Typo in "Mangled". Also, this is unrelated to the purpose of the pull request, isn't it?