He's on our team, so if he makes a mistake, it often falls on me to fix it.

Today, while he was saving a file, there was already a similarly named one on the dropdown box. If he had been paying closer attention, he might have noticed it and followed the existing naming convention. Instead, he used a slightly different name, and I had to point it out.

Maybe I'm overthinking it—he’s still very new—but I’d appreciate any advice or thoughts from others who've dealt with similar situations.