Fixed a broken example and added errata