Yes good point. Diode added.For complete protection, you would also include a diode from VIN to the external power source with the cathode also pointed towards VIN to prevent USB from possibly trying to back power the VIN external power source. That diode would need to be external to the Teensy, so may or may not be applicable in your case.