K 10 svn:author V 7 pluknet K 8 svn:date V 27 2012-06-11T17:46:13.071551Z K 7 svn:log V 62 MFen 38179 -> 38865. While here, fix a minor translation nit. END