make the example happy!