Document a few other fixes

Fixes #7.