Fix get-lines-from-file function