Commit 5ee1e451cfc75dc6ddbc3ae300ba7394a0cd560e

Behdad Esfahbod 2019-08-19T14:23:17

Minor touch-up for recent change