Correct a bug in from_vrep.