Changes made by Riccardo Di Nuzzo (riccardo@dinuzzo.it).