A fix in this vein should also be applied to the docstring of make_extruded_coords I think, along with marking up the example kernels as C:

````
.. c::

   void foo(...)

and more exposition
````