...and I'd copied and pasted an unwanted paren from the original line, so that patch was broken anyway. Now fixed and tested. In addition I realised the comments needed tweaking to match the change; and I spotted another (related) bug whereby the code which looks for calls to (package-initialize) doesn't take its optional argument into account, so I've modified those searches too.