improved instructions on verix.md