Alessio Soldano
committed
on 11 Dec 12
Minor fix