Fixed a conversion warning in tevol.cc