Tweaking the pager. Fixes #1734