--- gvpe/doc/gvpe.texi	2018/10/25 03:13:13	1.9
+++ gvpe/doc/gvpe.texi	2018/10/25 06:23:50	1.10
@@ -453,7 +453,7 @@
 
 
 @subsection tincd/bsd
-TAP-device, maybe; migth work for many bsd variants.
+TAP-device, maybe; might work for many bsd variants.
 @refill
 This driver is a newer version of the @t{tincd/*bsd} drivers. It @emph{might} provide a TAP device, or might not work at all. You might try this interface type first, and, if it doesn't work, try one of the OS-specific drivers.
 @refill