Make corrections to release notes (for for old version 1.2).