Fix a minor bug in DEVICE_STATE declaration