Corrected bugs with van_spec
Added changes to spec