fixed information on how to obtain the deployment id of a verticle