Commit 1300f027a938d8898cdc9abbcad71afadf70e6e6

Behdad Esfahbod 2018-11-12T13:56:48

[kerx] Minor tweak on previous commit