bugfix: number of robots could not be changed
(bug was introduced in release 1.3.3, commit 10ca3e43d273d3634ceef42e28b2295d3635f4e3)