This release mostly fixes a couple of bugs.