is -> if in rename description
diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index 1767e37..2721baa 100644
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -691,7 +691,7 @@
a directory, \exception{OSError} will be raised. On \UNIX, if
\var{dst} exists and is a file, it will be removed silently if the
user has permission. The operation may fail on some \UNIX{} flavors
-is \var{src} and \var{dst} are on different filesystems. If
+if \var{src} and \var{dst} are on different filesystems. If
successful, the renaming will be an atomic operation (this is a
\POSIX{} requirement). On Windows, if \var{dst} already exists,
\exception{OSError} will be raised even if it is a file; there may be