K 10 svn:author V 4 jkim K 8 svn:date V 27 2019-05-17T11:56:47.470570Z K 7 svn:log V 74 Revert r501849 and restore the previous behaviour. No functional change. END