Version up; fix a bug with Unicode strings compared to non-Unicode array.