  This short note refines nc Oka-Weil theorem by using a characterization of
free compact nc sets based on the notion of dilation hulls. A consequence of it
is that any free holomorphic function can be represented as a free polynomial
on each free compact nc set.
