K 10 svn:author V 4 jkim K 8 svn:date V 27 2015-08-06T20:31:35.500133Z K 7 svn:log V 40 Tidy up a patch. No functional change. END