it seems a very elegant extension, well done!