Fixed bug in RobotType deep-copy constructor (even though it doesn't get
used)