Minor update to OpenCL host pseudocode