Minor fixes of the release notes for version 13.11