K 10 svn:author V 4 bapt K 8 svn:date V 27 2017-10-11T02:55:30.481195Z K 7 svn:log V 73 Fix cruft that crept in by accident in r451218 Reported by: mm, thierry END