Fix inst var printing