Fixes to 0.8.4 release notes