Change of line 38 in Version.php