thing bringing it to their attention but she should have left it at that.
It was a fairly benign mistake.
Mistakes are made in the flight deck by every single pilot. She wouldn’t appreciate someone over her shoulder reporting something as minor as what happened here.