Fix page_end declaration