Fixed typos in splice! examples

Backport of b012c1c23f35fe882036baedddcd15e36fae4e9d
for #8437