Fix output of string.c