fixed a type mismatch in util_conversions.cpp