fixing bug #4518 by escaping String