As you've proved, and contrary to my previous comments, this isn't needed. Sorry!