installation-instructions.md

@@ -158,7 +158,7 @@ If any of the dependencies have been installed in a nonstandard directory, we ne
 $ ./configure CPPFLAGS="-I$HOME/.local/include" LDFLAGS="-L$HOME/.local/lib"
 $ make install
 ```
-(typically, in such cases we also want to install the library itself in the home directory; in this case we need to combine with the options in the previous section.)
+(typically, in such cases we also want to install the library itself in the home directory; for this we need to combine with the options in the previous section.)
 
 Before we try to use the library, we must be sure that the *dynamic linker*  knows where to find the libraries that were installed in nonstandard directories. In modern OSs, the path `$HOME/lib` is already in the standard path, but if this is not the case we need to set `LD_LIBRARY_PATH`
 ```bash