diff --git a/mpi/README.md b/mpi/README.md
index db601f7bb..2cac12dea 100644
--- a/mpi/README.md
+++ b/mpi/README.md
@@ -26,11 +26,8 @@ sudo pacman -S openmpi
 brew install openmpi
 ```
 
-- On Windows, you can install the OpenMPI library with:
-
-```bash
-choco install openmpi
-```
+- On Windows, you can install the OpenMPI following the instructions
+  [here](https://www.open-mpi.org/software/ompi/v1.6/ms-windows.php).
 
 - On FreeBSD, you can install the OpenMPI library with:
 
diff --git a/vcl/vcl.c.v b/vcl/vcl.c.v
index 8bb24a65b..aea5936ae 100644
--- a/vcl/vcl.c.v
+++ b/vcl/vcl.c.v
@@ -45,7 +45,7 @@ fn get_platforms() ![]ClPlatformId {
 	if ret != success {
 		return error_from_code(ret)
 	}
-	mut platform_ids := []ClPlatformId{len: int(n)}
+	mut platform_ids := unsafe { []ClPlatformId{len: int(n)} }
 	ret = cl_get_platform_i_ds(n, unsafe { &platform_ids[0] }, unsafe { nil })
 	return error_or_default(ret, platform_ids)
 }