get_article_labels: cache converted label ids

1 files changed, 2 insertions, 1 deletions

diff --git a/include/labels.php b/include/labels.php
index c2a48a338..6e0bfcb98 100644
--- a/include/labels.php
+++ b/include/labels.php
@@ -42,7 +42,8 @@
 			ORDER BY caption");
 
 		while ($line = db_fetch_assoc($result)) {
-			$rk = array($line["label_id"], $line["caption"], $line["fg_color"],
+			$rk = array(label_to_feed_id($line["label_id"]),
+				$line["caption"], $line["fg_color"],
 				$line["bg_color"]);
 			array_push($rv, $rk);
 		}