K 10 svn:author V 6 davide K 8 svn:date V 27 2013-03-04T11:55:32.039199Z K 7 svn:log V 68 Style fix: remove useless braces. Sorry, my bad. Submitted by: bde END