small fix for example