Bug fix in mirrorsync