v.0.7 -- Bug fixes (IR related)