Ah, yes, of course. Thanks. (I've been waiting to see if the change worked [I assume it will] — annoyingly, no pages I've marked for deletion have actually been deleted in the last 2 weeks.)