fixed bug in String operator+