Fixed syntax breakage caused by last update of svInteger