Fix an example bug; make things clearer