diff --git a/website/source/docs/vagrantfile/ssh_settings.html.md b/website/source/docs/vagrantfile/ssh_settings.html.md
index f5ce75c16..46c339934 100644
--- a/website/source/docs/vagrantfile/ssh_settings.html.md
+++ b/website/source/docs/vagrantfile/ssh_settings.html.md
@@ -67,9 +67,18 @@ any keys stored in ssh-agent). The default value is `true`.
+`config.ssh.verify_host_key` - Perform strict host-key verification. The default
+value is `false`.
+
+
+
`config.ssh.paranoid` - Perform strict host-key verification. The default value
is `false`.
+__Deprecation:__
+The `config.ssh.paranoid` option is deprecated and will be removed in a future release.
+Please use the `config.ssh.verify_host_key` option instead.
+
`config.ssh.forward_agent` - If `true`, agent forwarding over SSH