diff --git a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl.cc b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl.cc
index 453e260239..29052326b2 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl.cc
@@ -872,6 +872,7 @@ clSetKernelArg(cl_kernel    kernel,
         struct buffer_config& bc = kc->buffConfigs[arg_index];
         
         // if we overwrite an old config, free the old one
+        // TODO: reuse the buffer, because kernel parameters have fixed size
         if(bc.buffer != nullptr)
         {
             g_cl_genode->free(bc.buffer);