K 10 svn:author V 5 luigi K 8 svn:date V 27 2014-06-06T14:57:16.646080Z K 7 svn:log V 85 remove two debugging messages, align comments with the code in our development trunk END