4.17: change pagenum to pageno for copy/paste purposes