I already merged this, but I just realised your script (probably) made this additional extraneous file. No biggie, but something to fix later.