Fix a bug in reprovide
1.0.47