Small fix (due to changed PagePropertyMiner)