Fix example so it can be cut-and-pasted