Cutting sprues in the 18th century?