diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index d594a3a44..d54a342dd 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -11,8 +11,8 @@
 `include "RV64F_coverage.svh"
 `include "RV64D_coverage.svh"
 `include "RV64ZfaF_coverage.svh"
-`include "RV32ZfaD_coverage.svh"
-`include "RV32ZfaZfh_coverage.svh"
+`include "RV64ZfaD_coverage.svh"
+`include "RV64ZfaZfh_coverage.svh"
 `include "RV64ZfhD_coverage.svh"
 `include "RV64Zfh_coverage.svh"
 `include "RV64Zicond_coverage.svh"