3.12.5 &  typos