Another minor tweak for pagenavi.