fix #325, DeviceDB GUI