fixed instruction on verix.md