RELEASE-NOTES: two more bug fixes