Release 3.1.2 with changes from PRO