#1027: API updated for PageProperties.