Making the example slightly more complete