Perhaps the description of file:lines(): --- [...] Therefore, the construction for line in file:lines() do body end will iterate over all lines of the file. [...] ---should say "will iterate over all lines of the file from the current position to the end of the file".
Enrico