Oops, check the correct FILE * when reading EOF from config!