This release contains minor bug fixes.