[FIX] Fix the wrong treatment of the ~ operator Currently, when