diff --git a/util/openssl-format-source b/util/openssl-format-source
index 162103f5e964d6d2c0cf98d206f89b10a4ea3471..8cf27d3af3adedc0652a6cf03d4df943d94b34ea 100755
--- a/util/openssl-format-source
+++ b/util/openssl-format-source
@@ -35,7 +35,7 @@ COMMENTS=false
 # our own indent profile, which is at a well known location
 INDENT_PROFILE="$HERE/indent.pro"
 export INDENT_PROFILE
-if [ -f "$INDENT_PROFILE" ]; then
+if [ ! -f "$INDENT_PROFILE" ]; then
   echo "$0: unable to locate the openssl indent.pro file" >&2
   exit 1
 fi