I can confirm that I had this same problem, and the fix is correct. I filed it in 38133, but then closed that as a duplicate once I found this report.
I can confirm that I had this same problem, and the fix is correct. I filed it in 38133, but then closed that as a duplicate once I found this report.