Having received no response in over a month, I assume this is no longer a problem (if it ever was).