This release provides a number of minor bug fixes.