K 10 svn:author V 3 imp K 8 svn:date V 27 2018-06-19T21:58:04.292945Z K 7 svn:log V 28 Fix typo noticed by pstef@. END