Add comments on page_assert