Fix some bugs found in robot-name.

Tests were allowing names like '23456'.