Update NOD.fs