diff --git a/synthDC/.synopsys_dc.setup b/synthDC/.synopsys_dc.setup
index 22884084..6cc7cec7 100755
--- a/synthDC/.synopsys_dc.setup
+++ b/synthDC/.synopsys_dc.setup
@@ -12,7 +12,7 @@ if { [info exists ::env(RISCV)] } {
 }
 
 if {$tech == "sky130"} {
-    set s8lib ../addins/sky130_osu_sc_t12/12T_ms/lib/
+    set s8lib $timing_lib/sky130_osu_sc_t12/12T_ms/lib/
     lappend search_path $s8lib
 } elseif {$tech == "sky90"} {
     set s9lib $timing_lib/sky90/tech_files/
diff --git a/synthDC/README.md b/synthDC/README.md
index 7f257b6d..91804b29 100644
--- a/synthDC/README.md
+++ b/synthDC/README.md
@@ -16,21 +16,18 @@ FREQ
         Frequency in MHz.  Default is 500
 
 CONFIG
-        The wally configuration file.  Default is rv32e.
-        Examples.
-        rv32e
-        rv64gc
-        rv32gc
+        The Wally configuration file.  The default is rv32e.
+        Examples: rv32e, rv64gc, rv32gc
 
 TECH
-        The target standard cell library.  Default is 130.
+        The target standard cell library.  The default is sky130.
         sky90: skywater 90nm TT 25C
         sky130: skywater 130nm TT 25C
 
 SAIFPOWER
-        Controls if power analysis is driven by switching factor or RTL modelsim simulation.
-        When enabled requires a saif file named power.saif.
-        Default is 0.
+        Controls if power analysis is driven by switching factor or
+	RTL modelsim simulation. When enabled requires a saif file
+	named power.saif.  The default is 0.
         0: switching factor power analysis
         1: RTL simulation driven power analysis.