Mark Wielaard Fri, 28 Jun 2019 14:38:20 -0700
Hi, I pushed this to master with the changes suggested by Dmitry.
Thanks, Mark