This is obsolete, as type="regexp" will be used.