[gnome-user-docs] Build fix

[Emilio Pozuelo Monfort <epm src gnome org>]

commit a420bd3e5736f4f0080291c62d347c92987261d9
Author: Emilio Pozuelo Monfort <pochu27 gmail com>
Date:   Tue May 7 17:52:40 2013 +0200

    Build fix

 gnome-help/C/shell-workspaces-switch.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gnome-help/C/shell-workspaces-switch.page b/gnome-help/C/shell-workspaces-switch.page
index 96b6314..d27202d 100644
--- a/gnome-help/C/shell-workspaces-switch.page
+++ b/gnome-help/C/shell-workspaces-switch.page
@@ -29,7 +29,7 @@
   <p if:test="!platform:gnome-classic">Open the <link xref="shell-terminology">
   Activities overview</link>.</p>
   <p if:test="platform:gnome-classic">At the top left of the screen, click the
-  <link xref="shell-terminology"><gui>Applications<gui> menu</link> and choose 
+  <link xref="shell-terminology"><gui>Applications</gui> menu</link> and choose 
   <gui>Activities Overview</gui>.</p>
  </item>
  <item>