Fixed a broken example.