An empty commit to add issue-fix labels for GitHub's benefit.  To wit:

Fixes #37
Fixes #24
Fixes #40
Fixes #41