fix REGEXP isa test