fix nav include for documentation