Fix a type in installation of XHP