Fix in the string formatting