Alessio Soldano
committed
on 24 Apr 15
Minor updates to the doc