OK. I think it would be good to include the "source" of this in a comment in case things suddenly stop working.