VirtualTimeScheduler example fix