Rename mapped parameters in examples (forgotten in previous commit)