bug found : inst interpreted into \begin{code}