Paging tweaks.

See #35.