K 10 svn:author V 5 maxim K 8 svn:date V 27 2016-03-18T15:44:21.676014Z K 7 svn:log V 79 o Restore some good whitespace killed in the previous commit. Spotted by: bjk END