Fixing the example