Make the example work.