fix code example error spotted by Kirill Omelchenko