added to readfile.c