From 05e039540538518ed57ba9c76144318f2727d2b4 Mon Sep 17 00:00:00 2001
From: Wesley Stout <wesleystout@gmail.com>
Date: Fri, 9 Dec 2011 11:16:53 -0600
Subject: [PATCH] correction to configure.rst

---
 manual/source/configure.rst | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/manual/source/configure.rst b/manual/source/configure.rst
index c6d8af7..895ed54 100644
--- a/manual/source/configure.rst
+++ b/manual/source/configure.rst
@@ -319,8 +319,7 @@ changed by selecting one of the available players and using the
 Advanced
 ^^^^^^^^
 
-**Allow media player to be overridden**
-
+**Allow media player to be overridden:**
   With this option selected, you will see `Use Player:` area with a dropdown box
   on the Media tool bar in the :ref:`media-manager` which gives you the option 
   to select the media player you want to use.