Minor change in @example for reproducibility