Probably not worth investing any effort given this code will die eventually.  I did some quick testing, and didn't really notice anything, but I'm not sure I was testing the right thing.  This is probably okay as-is, then.