An assortment of fixes I made while on vacation
Please see the comments on each commit.
I hope that this addresses the confusing behaviour that gave rise to #154 (closed) and #151 (closed)
Please see the comments on each commit.
I hope that this addresses the confusing behaviour that gave rise to #154 (closed) and #151 (closed)