This does not seem to be a problem any more in the latest version. Closing.