minor memory leak in C example