Fix bug in deployment instructions