K 10 svn:author V 7 attilio K 8 svn:date V 27 2011-05-31T20:59:53.472712Z K 7 svn:log V 79 Revert r222363, as bde@ pointed out the initial solution was far more correct. END