Don’t nit pick things that don’t affect the outcome. Correcting somebody’s terminology or recollection when it doesn’t matter just derails the discussion.