Fix a bug in deployment