Release 0.9.16-patch1

Built from original 0.9.16 and patched with pull requests #516, #529
and #531.