I have a problem with OpManager. The device name in device details keep changing as below. Even if I edited the name, the name keeps changing back to this strange name after a few days. Please advise how can I solve this.