Oops. I must have caught it at just the wrong time; while fiddling with the email a new bunch of updates hit the Update Manager, including the two in question, but then all were processed.