small fix for extension example