Bug fix in WebCL backend