diff --git a/src/tools/Keywords.cpp b/src/tools/Keywords.cpp
index 58dd829fa45275782b1cbbc594d0b336d6416ab1..1e5a51e06b935d607ae626995e671b21d6acadde 100644
--- a/src/tools/Keywords.cpp
+++ b/src/tools/Keywords.cpp
@@ -402,7 +402,7 @@ void Keywords::print_html() const {
   }
   nkeys=0;
   for(unsigned i=0;i<keys.size();++i){
-     if ( (types.find(keys[i])->second).isFlag() ) nkeys++;
+     if ( (types.find(keys[i])->second).isFlag() || (types.find(keys[i])->second).isOptional() || (types.find(keys[i])->second).isVessel() ) nkeys++;
   }
   if( nkeys>0 ){
      if(isaction) std::cout<<"\\par Options\n\n";