Small post-release fixes.