added a simple syntax for device querying. #482