Fix deftypevr