Fix breaking Vdebug spec