thanks, yeah that works (not sure if I like the implicitness but that is out of scope here)