Artifacts of virgo-master #1247