permissions_revoke_permissions error

In the permissions_revoke_permissions function there is the following error:

foreach($new_permissions as $permission){
        $index = array_search($permission, $permissions);		
        if($index >= FALSE){
         /* The above question is a mistake because if the searched permission is not in the array you get FALSE that is converted to 0 so you revoke the
             first permission on the array.
             the code should be changed to if($index !== FALSE)
         */
          unset($permissions[$index]);       
        }
      }

I don't fix it my self because i dont know how to commit the change