Murri

Fixes agreed upon by Riccardo Murri: typos, style and figures.