Fixed a broken example