diff --git a/docs/examples-profiling-vtune.md b/docs/examples-profiling-vtune.md
index ff945a8991..9e15d57f8b 100644
--- a/docs/examples-profiling-vtune.md
+++ b/docs/examples-profiling-vtune.md
@@ -1,4 +1,4 @@
-# Using `VTune` on Linux
+# Using `VTune`
 
 [VTune][help] is a popular performance profiling tool that targets both 32-bit
 and 64-bit x86 architectures. The tool collects profiling data during runtime
@@ -6,9 +6,7 @@ and then, either through the command line or GUI, provides a variety of options
 for viewing and analyzing that data. VTune Profiler is available in both
 commerical and free options. The free, downloadable version is available
 [here][download] and is backed by a community forum for support. This version is
-appropriate for detailed analysis of your Wasm program. Note that for JIT
-support, Wasmtime only supports VTune profiling on Linux platforms but other
-platforms are expected to be enabled in the future.
+appropriate for detailed analysis of your Wasm program.
 
 VTune support in Wasmtime is provided through the JIT profiling APIs from the
 [`ittapi`] library. This library provides code generators (or the runtimes that
@@ -24,7 +22,7 @@ For more information on VTune and the analysis tools it provides see its
 
 [help]: https://software.intel.com/en-us/vtune-help
 [download]: https://software.intel.com/en-us/vtune/choose-download#standalone
-[documentations]: https://software.intel.com/en-us/vtune-help
+[documentation]: https://software.intel.com/en-us/vtune-help
 [`ittapi`]: https://github.com/intel/ittapi
 [`ittapi-rs`]: https://crates.io/crates/ittapi-rs