Removed cruft in an example