May 10, 2018
10:45 p.m.
Again, thanks very much for the corrections. This is first-class work. Proposed patch attached, and installed into the development version on GitHub.