Fix 0b1fad0.

Ammetto che non sono stato particolarmente attento a quello che stavo facendo ;-)