K 10 svn:author V 3 kib K 8 svn:date V 27 2016-07-21T16:58:53.600912Z K 7 svn:log V 58 Remove spurious but harmless double-quote. Noted by: jhb END