You have manually set the router-id now in order for an Extreme switch to use the numeric highest IP interface address as the OSPF router id on the next OSPF initialization, you will need to execute this CLI command.