[DEBUG] correction of end of file regexp change