Minor changes to dvvset.erl for the dialyzer.