Make sure $type_of_page is still defined.