post-release bug fixes