[ming] change the type of the parameter