Yes, not great but I don't think it is a big deal given we hardly use this script and the chance of it happening is low. Feel free to create an issue - although if we want to fix this, we should really be rewriting this using inlinecallbacks