regen for 1.3.2 release