Make the example actually work