Why not put navigation role on 'ul'?

On this page:

The example is <div role="navigation" ...> containing a ul which contains the navigation links. Why not get rid of the div and put its attributes directly on the ul? The div seems like cruft to me.