This release fixes a couple of bugs.