fix typo in code sample

thanks to Volker Fröhlich for pointing this out