In msdos.texi:344,

    @option{v}

is

    @option{-v} 

, I think.

Thanks.