Resolved: there was no problem; sorry for the hassle.