Undo my terrible idea for page-number notation