Minor wording improvement in the post of 2019-07-06.