Fixing broken example