It looks like somehow the page number got messed up while the user was browsing. This should be fixed for 7.2.