ok, that will probably be the smallest extension ever :-)