Changed example slightly to be more general.