fix an example using Normaliz

... now that we've upgraded to the latest version.  The ordering of rows
turns out to be different.