K 10 svn:author V 5 luigi K 8 svn:date V 27 2000-10-26T00:16:12.000000Z K 7 svn:log V 62 Close PR22152 and PR19511 -- correct the naming of a variable END