Showed full first name instead of first letter in credits

src/frontend/tpl/editor.html

@@ -51,7 +51,7 @@
 
             <div class="row">
                 <div class="span12 credits">
-                    Idea and feedback by <a href="http://homepages.cwi.nl/~apt/" target="_blank">Prof.dr. K.R. Apt</a>,
+                    Idea and feedback by <a href="http://homepages.cwi.nl/~apt/" target="_blank">Prof.dr. Krzysztof R. Apt</a>,
                     implementation by Taddeüs Kroes and <a href="http://smvv.kompiler.org" target="_blank">Sander van Veen</a>.
                 </div>
             </div>