haha, ok, we need to fix those examples! :)