diff --git a/website/docs/source/v2/providers/index.html.md b/website/docs/source/v2/providers/index.html.md
index e0836dd93..55942e47a 100644
--- a/website/docs/source/v2/providers/index.html.md
+++ b/website/docs/source/v2/providers/index.html.md
@@ -6,6 +6,7 @@ sidebar_current: "providers"
 # Providers
 
 While Vagrant ships out of the box with support for [VirtualBox](http://www.virtualbox.org),
+[Hyper-V](http://www.microsoft.com/hyper-v) and [Docker](http://www.docker.io),
 Vagrant has the ability to manage other types of machines as well. This is done
 by using other _providers_ with Vagrant.
 
@@ -14,9 +15,8 @@ For example, if you're using Vagrant for any real work, [VMware](http://www.vmwa
 providers are recommended since they're well supported and generally more
 stable and performant than VirtualBox.
 
-Before you can use another provider, you must install it. Vagrant only ships
-with VirtualBox support. Installation of other providers is done via the
-Vagrant plugin system.
+Before you can use another provider, you must install it. Installation of other providers
+is done via the Vagrant plugin system.
 
 Once the provider is installed, usage is straightforward and simple, as
 you would expect with Vagrant. Read into the relevant subsections found in