Great. A software upgrade on the PBX should prevent that bug from happening again. It is pretty random but generally will show up every few months.