Fix the mangle1 test