Update ReleaseNotes_2.5.1.txt

Added bug #3587.