Fixing "unused parameter" warning in DeviceOpQueue.
Release v0.5 (updated).