diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 09cff3c95a..6f0673f30a 100644
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -1782,7 +1782,7 @@ void Buffer::writeLaTeXSource(otexstream & os,
 				}
 				os << "\\makeatletter\n"
 				   << "\\def\\input@path{{"
-				   << docdir << "/}}\n"
+				   << docdir << "}}\n"
 				   << "\\makeatother\n";
 			}
 		}