diff --git a/README.md b/README.md
index bf9c8de2..e3bee224 100644
--- a/README.md
+++ b/README.md
@@ -135,15 +135,15 @@ Optional CMake variables passed as -D<var>=<value> arguments to CMake are show b
 ```
 CMAKE_BUILD_TYPE DEBUG|RELEASE
 CMAKE_CXX_FLAGS - additional compiler flags
-TCL_LIB - path to tcl library
+TCL_LIBRARY - path to tcl library
 TCL_HEADER - path to tcl.h
 CUDD - path to cudd installation
 ZLIB_ROOT - path to zlib
 CMAKE_INSTALL_PREFIX
 ```
 
-If `TCL_LIB` is specified the CMake script will attempt to locate the
-header from the library path.
+If `TCL_LIBRARY` is specified the CMake script will attempt to locate
+the header from the library path.
 
 The default install directory is `/usr/local`.
 To install in a different directory with CMake use:
diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt
index 80786bdd..5c74c517 100644
Binary files a/doc/OpenSTA.odt and b/doc/OpenSTA.odt differ
diff --git a/sdf/SdfReader.cc b/sdf/SdfReader.cc
index 0800688b..920ae6cf 100644
--- a/sdf/SdfReader.cc
+++ b/sdf/SdfReader.cc
@@ -1045,7 +1045,7 @@ SdfReader::findPin(const char *name)
 {
   if (path_) {
     string path_name;
-    stringPrint(path_name, path_, divider_, name);
+    stringPrint(path_name, "%s%c%s", path_, divider_, name);
     Pin *pin = network_->findPin(path_name.c_str());
     return pin;
   }