diff --git a/Lib/platform.py b/Lib/platform.py
index c272c407c77..df8faac88ca 100755
--- a/Lib/platform.py
+++ b/Lib/platform.py
@@ -561,7 +561,7 @@ def _platform(*args):
     platform = platform.replace('unknown', '')
 
     # Fold '--'s and remove trailing '-'
-    while 1:
+    while True:
         cleaned = platform.replace('--', '-')
         if cleaned == platform:
             break