update to 3.12.2