Fix names of provo servers