bug fix in snapshot.h: prefetch_next() must be executed