in reply to Namespace pollution

Unfortuately I thought of that after I hit submit :(...
If it does cause a problem I would not object to changing my name.