From 7432404bd54105897631f48a3fdb390217629b56 Mon Sep 17 00:00:00 2001
From: carlocamilloni <carlo.camilloni@gmail.com>
Date: Mon, 15 Oct 2018 16:28:26 +0200
Subject: [PATCH] user docs fixes

---
 user-doc/Installation.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/user-doc/Installation.md b/user-doc/Installation.md
index ae6b4592e..8921a7626 100644
--- a/user-doc/Installation.md
+++ b/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
 
-- 
GitLab