Adding notes to readfile(), subsequently to internal code update