Post-release minor update.