report 18.07: final final editorial nit picking in v0.9.