Typo in "using via sequences"?