Fix padding on printf(%s)