diff --git a/core/print_api.php b/core/print_api.php
index 2c07cf711a..ebc9b945d9 100644
--- a/core/print_api.php
+++ b/core/print_api.php
@@ -782,6 +782,8 @@ function print_version_option_list( $p_version = '', $p_project_id = null, $p_re
 		echo '<option value=""></option>';
 	}
 
+	$t_listed = array();
+
 	foreach( $versions as $version ) {
 
 		# If the current version is obsolete, and current version not equal to $p_version,
@@ -793,9 +795,13 @@ function print_version_option_list( $p_version = '', $p_project_id = null, $p_re
 		}
 
 		$t_version = string_attribute( $version['version'] );
-		echo "<option value=\"$t_version\"";
-		check_selected( $p_version, $t_version );
-		echo '>', string_shorten( $t_version ), '</option>';
+
+		if ( !in_array( $t_version, $t_listed ) ) {
+			$t_listed[] = $t_version;
+			echo "<option value=\"$t_version\"";
+			check_selected( $p_version, $t_version );
+			echo '>', string_shorten( $t_version ), '</option>';
+		}
 	}
 }