diff --git a/Shell/Options.cpp b/Shell/Options.cpp
index 09cb9c12d5..58143d2fc1 100644
--- a/Shell/Options.cpp
+++ b/Shell/Options.cpp
@@ -448,6 +448,7 @@ void Options::Options::init()
     _unusedPredicateDefinitionRemoval.setRandomChoices({"on","off"});
 
     _blockedClauseElimination = BoolOptionValue("blocked_clause_elimination","bce",false);
+    _blockedClauseElimination.description="Eliminate blocked clauses after clausification.";
     _lookup.insert(&_blockedClauseElimination);
     _blockedClauseElimination.tag(OptionTag::PREPROCESSING);
     _blockedClauseElimination.addProblemConstraint(notWithCat(Property::UEQ));