Bug in string initialization