Fix node deployment.

The driver method ``deploy_node()`` was severly broken: It did not work
if the node did not exist before being called.