Fix bug in the deployer