Update syntax examples for Virtus 1.x