diff --git a/html/pages/devices.php b/html/pages/devices.php
index 104fd02696..488579fe51 100644
--- a/html/pages/devices.php
+++ b/html/pages/devices.php
@@ -17,7 +17,7 @@
               {
                 echo("<option value='".$data['os']."'");
                 if ($data['os'] == $_POST['os']) { echo(" selected"); }
-                echo(">".$data['os']."</option>");
+                echo(">".$os_text[$data['os']]."</option>");
               }
             }
           ?>