Replaced \N^N by \N^n.
Catch up with master.