Fixed a minor issue with the 0.80 release notes

While going through the release notes just saw an issue with the v 0.80 release notes. This PR fixes that.