diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 170b3fb07..174138e6a 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -279,6 +279,7 @@ struct SynthXilinxPass : public ScriptPass
 					      //        otherwise it will use mux8 as mux4
 				run("muxcover -mux4=150 -mux8=200 -mux16=250 -dmux=0", "(skip if -nomux)");
 			}
+			run("wreduce"); // FIXME: Moved until after muxcover from 'coarse'
 			run("opt -full");
 
 			if (!nosrl || help_mode) {