fix dot visibility export