Hello,

I've committed the attached (btw, does anyone know the history of this 
habit? lint?).

Andrew