diff --git a/wally-pipelined/src/mmu/pagetablewalker.sv b/wally-pipelined/src/mmu/pagetablewalker.sv
index 528b72920..1a051c8f6 100644
--- a/wally-pipelined/src/mmu/pagetablewalker.sv
+++ b/wally-pipelined/src/mmu/pagetablewalker.sv
@@ -119,9 +119,7 @@ module pagetablewalker
 
 
 
-      flop #(`XLEN) HPTWPAdrMReg(.clk(clk),
-				 .d(HPTWPAdrE),
-				 .q(HPTWPAdrM));
+      flop #(`XLEN) HPTWPAdrMReg(clk, HPTWPAdrE, HPTWPAdrM);