user docs fixes

user-doc/Installation.md

@@ -370,7 +370,7 @@ possible kinds of innocuous errors:
   some feature introduced in PLUMED in a newer version.
 - If `plumed` executable is newer than the test suite, the tests might fail since some
   non-backward compatible change was made in PLUMED. We try to keep the number
-  of non-backward compatible changes small, but as you can see in the \ref Changelog there
+  of non-backward compatible changes small, but as you can see in the \ref ChangeLog there
   are typically a few of them at every new major release.
 
 \attention
@@ -721,7 +721,6 @@ export CRAYPE_LINK_TYPE=dynamic
 \endverbatim
   Adding libraries to `STATIC_LIBS` uses them for all the linking steps, whereas those in `LIBS` are only used when linking the PLUMED kernel library.
   See more at [this thread](https://groups.google.com/d/msgid/plumed-users/CAB1aw3y0m%3D5qwzsZY4ZB-aBevsL5iuS%3DmQuSWK_cw527zCMqzg%40mail.gmail.com?utm_medium=email&utm_source=footer).
-\endverbatim
 
 \page CodeSpecificNotes Code specific notes