Make the navtree a happy camper