diff --git a/tools/update_versions b/tools/update_versions
index 786df1dd10..ce7695cd1f 100755
--- a/tools/update_versions
+++ b/tools/update_versions
@@ -372,7 +372,7 @@ function confirm($fds, $v) {
 function get_bool($xml_element, $name) {
     foreach($xml_element->xpath($name) as $x) {
         $s = trim((string) $x);
-        if ($s == "" || int($s)>0) return true;
+        if ($s == "" || (int)$s>0) return true;
     }
     return false;
 }