UOM/OpenMath fixed bugs in utils, source