To make this example as copy-and-pasteable as possible, perhaps this should be uncommented?