Fix for the example