Update release notes, two minor style fixes