Documentation tweaks to bring change version number to 1.12