Correcting a typo in example code

This needs no formal review