fix vixl typo