small change to the DoubledPager project