changed row of ensures clause in PeekNext.h