removed useless dependency on Nori
Merge branch 'release/v0.9.6'