Typo in examples

Fixes #2725