Fixing a half-written example.