Removed "mangling" from docs