Fix a mistake in versions.php