Correct a bug I added when trying to improve the backend checks.
Merge branch 'openmp_device_backend'