Fix minor bug introduced in 'Terminate vc-disable-async-diff'