useless because page MUST be set, otherwise `set_page` already raises an Exception ( see below ) .