Should I correct this or teach him to ignore?

Dogs react to positive reinforcement ten times better than beating them when they bark. Don't hit your dog, dummy.