these already exist in PageNavEntry, no need to duplicate them