normally, just a reboot is enough. Either way good to hear it's fixed.