Fixes Vector latex printing in issue #2727.