Commit 8ec9698d5703b0150250849f97b8457a42e22c73

Stefan Sperling 2018-05-10T13:18:32

tweak conditional; no functional change