Artifacts of melange-master #727