![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
2 Jul
2018
2 Jul
'18
12:02 p.m.
Hans, the attached file contains the corrections of two typos and the addition of a (in my opinion, much needed) pair of commas. I hope it helps, Pablo -- http://www.ousia.tk