Released 0.7.25.3.2.
