Use paged, not page, to fix #457