documentation fix for example