diff --git a/kernel/register.cc b/kernel/register.cc
index a853576f2..df3e1d453 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -974,7 +974,11 @@ struct HelpPass : public Pass {
 				}
 
 				if (!current_buffer.empty()) {
-					current_listing->codeblock(current_buffer, "none", null_source);
+					if (current_buffer.size() > 64 && current_buffer.substr(0, 64).compare("The following commands are executed by this synthesis command:\n\n") == 0) {
+						current_listing->paragraph(current_buffer.substr(0, 62), null_source);
+						current_listing->codeblock(current_buffer.substr(64), "yoscrypt", null_source);
+					} else
+						current_listing->codeblock(current_buffer, "none", null_source);
 					current_buffer = "";
 				}
 			}