diff --git a/utils/genrandconfig b/utils/genrandconfig
index eaf5bd35d6..54146a99de 100755
--- a/utils/genrandconfig
+++ b/utils/genrandconfig
@@ -429,7 +429,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 \