Two nodes in a cluster. Took down the master to do some HW changes. Rebooted and they are both up, but the two VMs that run only on the 2nd host are not showing the names in the webUI, even though they do show if you look at their configs. I assume something is stale and/or needs to be restarted? Thanks...