Antialiased Buttons

Hi. According to the release log for 2.35a, the rounded theme is supposed to implement antialiasing for its buttons, but, it sure doesn’t look that way, at least not in OS X. Does anybody have an explanation?

Looks like they are antialiased, to me… But maybe I’m wrong…