minor fix for example