Bugfix in the vrep restart