removed useless dependency on Nori