Changed example slightly