Dear all, Maui seems to ignore the second digit after decimal point in nodecfg speed attribute: NODECFG[node1] SPEED=1.07 has the same behavior as NODECFG[node1] SPEED=1.0 Is it intended that Maui only accepts one digit after decimal point? Thanks, Henrik