STRING operator applied to non-STRING type