diff --git a/utils/genrandconfig b/utils/genrandconfig
index 33b124cd8d..14bc6b00bd 100755
--- a/utils/genrandconfig
+++ b/utils/genrandconfig
@@ -432,7 +432,7 @@ def fixup_config(sysinfo, configfile):
 
     if 'BR2_TARGET_ARM_TRUSTED_FIRMWARE=y\n' in configlines and \
        'BR2_TARGET_ARM_TRUSTED_FIRMWARE_PLATFORM=""\n' in configlines:
-        return False;
+        return False
 
     if 'BR2_TARGET_ARM_TRUSTED_FIRMWARE=y\n' in configlines and \
        'BR2_TARGET_ARM_TRUSTED_FIRMWARE_CUSTOM_VERSION=y\n' in configlines and \