Minor post-release fixes.