From 2a9ccdad8b15a1a35bd1b3e27b05f6eeafa32195 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 27 Jun 2016 17:14:26 +0200
Subject: [PATCH] adding space

---
 base/proposal.dtx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/proposal.dtx b/base/proposal.dtx
index ca14e58..1b5494e 100644
--- a/base/proposal.dtx
+++ b/base/proposal.dtx
@@ -1448,7 +1448,7 @@
 %   the corresponding presentation macro.
 %    \begin{macrocode}
 \newcommand\@milestone[3]{% id, title, description
-\item \textbf{\miles@legend@milestone \pdata@target{mile}\mile@id{\pdataref{mile}{#1}{label}} 
+\item \textbf{\miles@legend@milestone\xspace\pdata@target{mile}\mile@id{\pdataref{mile}{#1}{label}} 
 (\miles@legend@month \pdataref{mile}\mile@id{month})
 \textbf{#2}} #3}
 \newcommand\miles@legend@month{Month}