Yes, that change was made in the May 13th data release. http://protect7.shavlik.com/2015/05/13/new-patch-data-available-2-0-1-2812/
Also in View > Patches, you can add a column called Patch Updated which will tell you when the patch was last updated by the vendor. (Column Chooser) 3037580 has a date of May 12th on it.
OK, thanks. It appears that the update doesn't apply to windows 7, so I never saw the update as needing to be installed.