Bug fix to DeviceSet: userCmd not set Done when