Fix incorrect hello.c eof