K 10 svn:author V 3 sef K 8 svn:date V 27 2018-07-18T16:03:40.164902Z K 7 svn:log V 136 Fix a couple of typos in r334844 noticed by Richard Kojedzinszky. Submitted by: Richard Kojedzinszky Reviewed by: sef Approved by: mav END