Properly move the pointer that indicates the last used page in the scratch buffer pool (in order to avoid overwrites of scratch pages by overflows allocation)