Hi,

one of most straightforward changes in my pending queue. Tested 
x86_64-linux.

Thanks, Paolo.

/////////////////////