diff --git a/lstlangmizar.sty b/lstlangmizar.sty
index 060b9e0..1ac883e 100644
--- a/lstlangmizar.sty
+++ b/lstlangmizar.sty
@@ -3,6 +3,9 @@
 %% Mizar definition (c) 2012 Josef Urban
 %%                           <Josef.Urban@gmail.com>
 %%
+%% minor enhancements (c) 2013 Christoph Lange
+%%                             <math.semantic.web@gmail.com>
+%%
 \lstdefinelanguage{Mizar}%
 {morekeywords={schemes,constructors,definitions,theorems,vocabularies,requirements,registrations,
 notations,theorem,scheme,definition,registration,notation,axiom,proof,now,end,hereby,case,suppose,
@@ -15,6 +18,7 @@ associativity,commutativity,connectedness,irreflexivity,reduce,reducibility,refl
 sethood,uniqueness,transitivity,idempotence,asymmetry,projectivity,involutiveness
 	},% 
    sensitive, %
+   morecomment=[l]{::},%
    morecomment=[n]{(:}{:)},%
    morestring=[d]",%
    literate={=>}{{$\Rightarrow$}}1 {>->}{{$\rightarrowtail$}}2{->}{{$\to$}}1