Whew, it works now.
Sorry to raise the alarm...