We'll probably put out a 7.5.2 release since a lot of people already downloaded before we caught this. I'll probably have Dave put it up on Monday after I thoroughly test all of the markup code.