Fix \v in tern.