Fixed possibly incorrect behaviour of Kernel.set_arg when vle is None
Changed version to 1.2.7