printf with argument of string is not valid