@arizzi : I assumed that procedure implicitly, when commenting ;-)
This is far from being a showstopper here...