monteverdi2: update syntax