diff --git a/README.md b/README.md
index f3a63cbec..5e5a8ec3e 100644
--- a/README.md
+++ b/README.md
@@ -156,9 +156,10 @@ reading and elaborating the design using the Verilog frontend:
 	yosys> read -sv tests/simple/fiedler-cooley.v
 	yosys> hierarchy -top up3down5
 
-writing the design to the console in Yosys's internal format:
+writing the design to the console in the RTLIL format used by Yosys
+internally:
 
-	yosys> write_ilang
+	yosys> write_rtlil
 
 convert processes (``always`` blocks) to netlist elements and perform
 some simple optimizations:
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc
index 23d1d58fc..8e2c088c4 100644
--- a/backends/blif/blif.cc
+++ b/backends/blif/blif.cc
@@ -512,8 +512,8 @@ struct BlifBackend : public Backend {
 		log("        suppresses the generation of this nets without fanout.\n");
 		log("\n");
 		log("The following options can be useful when the generated file is not going to be\n");
-		log("read by a BLIF parser but a custom tool. It is recommended to not name the\n");
-		log("output file *.blif when any of this options is used.\n");
+		log("read by a BLIF parser but a custom tool. It is recommended not to name the\n");
+		log("output file *.blif when any of these options are used.\n");
 		log("\n");
 		log("    -icells\n");
 		log("        do not translate Yosys's internal gates to generic BLIF logic\n");
diff --git a/backends/firrtl/firrtl.cc b/backends/firrtl/firrtl.cc
index eb30ab4b9..fc1d62891 100644
--- a/backends/firrtl/firrtl.cc
+++ b/backends/firrtl/firrtl.cc
@@ -21,7 +21,6 @@
 #include "kernel/register.h"
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"
-#include "kernel/cellaigs.h"
 #include "kernel/log.h"
 #include "kernel/mem.h"
 #include <algorithm>
@@ -1196,6 +1195,7 @@ struct FirrtlBackend : public Backend {
 		log("        pmuxtree\n");
 		log("        bmuxmap\n");
 		log("        demuxmap\n");
+		log("        bwmuxmap\n");
 		log("\n");
 	}
 	void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) override
diff --git a/backends/jny/jny.cc b/backends/jny/jny.cc
index 0be11a52c..9989feed5 100644
--- a/backends/jny/jny.cc
+++ b/backends/jny/jny.cc
@@ -21,7 +21,6 @@
 #include "kernel/register.h"
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"
-#include "kernel/cellaigs.h"
 #include "kernel/log.h"
 #include <string>
 #include <algorithm>
diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc
index 292af3f51..c0d413fad 100644
--- a/kernel/cellaigs.cc
+++ b/kernel/cellaigs.cc
@@ -318,7 +318,7 @@ Aig::Aig(Cell *cell)
 		goto optimize;
 	}
 
-	if (cell->type.in(ID($mux), ID($_MUX_)))
+	if (cell->type.in(ID($mux), ID($_MUX_), ID($_NMUX_)))
 	{
 		int S = mk.inport(ID::S);
 		for (int i = 0; i < GetSize(cell->getPort(ID::Y)); i++) {
diff --git a/passes/techmap/extract_counter.cc b/passes/techmap/extract_counter.cc
index 9c814af23..b780f7df0 100644
--- a/passes/techmap/extract_counter.cc
+++ b/passes/techmap/extract_counter.cc
@@ -120,8 +120,6 @@ struct CounterExtractionSettings
 };
 
 //attempt to extract a counter centered on the given adder cell
-//For now we only support DOWN counters.
-//TODO: up/down support
 int counter_tryextract(
 	ModIndex& index,
 	Cell *cell,
@@ -766,9 +764,9 @@ struct ExtractCounterPass : public Pass {
 		log("\n");
 		log("    extract_counter [options] [selection]\n");
 		log("\n");
-		log("This pass converts non-resettable or async resettable down counters to\n");
-		log("counter cells. Use a target-specific 'techmap' map file to convert those cells\n");
-		log("to the actual target cells.\n");
+		log("This pass converts non-resettable or async resettable counters to counter cells.\n");
+		log("Use a target-specific 'techmap' map file to convert those cells to the actual\n");
+		log("target cells.\n");
 		log("\n");
 		log("    -maxwidth N\n");
 		log("        Only extract counters up to N bits wide (default 64)\n");
diff --git a/tests/various/help.ys b/tests/various/help.ys
index 9283ce8f1..04793274b 100644
--- a/tests/various/help.ys
+++ b/tests/various/help.ys
@@ -1,2 +1,2 @@
 help -all
-help -celltypes
+help -cells