Removed unneeded detail in example.