vtimer: fix example usage