Small fixes to the doc for 1.2