This release fixes a couple of bugs. We recommend everybody to update.