From 3e0e79218065458b816cd726bd637f1ecd00a882 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Tue, 13 Oct 2015 14:02:48 +0200
Subject: [observer] Correct documentation

Fix mistakes found by 'xmllint'.
---
 lib/observer/doc/src/observer_ug.xml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/observer/doc/src/observer_ug.xml')

diff --git a/lib/observer/doc/src/observer_ug.xml b/lib/observer/doc/src/observer_ug.xml
index 8388cb6736..ff30d70913 100644
--- a/lib/observer/doc/src/observer_ug.xml
+++ b/lib/observer/doc/src/observer_ug.xml
@@ -105,7 +105,7 @@
     <note>
       <p><em>Reds</em> can be presented as accumulated values or as values since last update.</p>
     </note>
-    <p><c>Process info</c> open a detailed information window on the selected process.
+    <p><c>Process info</c> open a detailed information window on the selected process.</p>
     <taglist>
       <tag>Process Information</tag>
       <item>Shows the process information.</item>
@@ -127,7 +127,6 @@
       <c>rb</c> server will be stopped on the observed node when exiting or changing observed node.
       </p>
     </note>
-    </p>
     <p><c>Trace Processes</c> will add the selected process identifiers to the <c>Trace Overview</c> view and the
     node the processes reside on will be added as well.
     <c>Trace Named Processes</c> will add the registered name of processes. This can be useful
-- 
cgit v1.2.3