Fix to the example PR opened earlier