Fixed a failing example