Alessio Soldano
committed
on 11 Dec 12
Further minor fixes / improvements