diff --git a/README.md b/README.md
index 9491aaf1e74..2f511e43805 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
 [![Documentation Status](https://readthedocs.org/projects/idris2/badge/?version=latest)](https://idris2.readthedocs.io/en/latest/?badge=latest)
 [![Build Status](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml/badge.svg?branch=main)](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml?query=branch%3Amain)
 
-[Idris 2](https://idris-lang.org/) is a purely functional programming language
+[Idris 2](https://www.idris-lang.org/) is a purely functional programming language
 with first class types.
 
 For installation instructions, see [INSTALL.md](INSTALL.md).
diff --git a/www/source/index.md b/www/source/index.md
index b5ff60964e1..05e397b7138 100644
--- a/www/source/index.md
+++ b/www/source/index.md
@@ -50,7 +50,7 @@ keywords (`module`, `:`, `=`, `private`, etc.) and hopefully get helpful informa
 
 Here are links to the automatically generated documentation for the libraries shipped with the
 **bleeding edge** version of the compiler. The documentation for the latest **released** version
-is available on the [idris-lang.org](https://www.idris-lang.org/pages/documentation.html) site.
+is available on the [www.idris-lang.org](https://www.idris-lang.org/pages/documentation.html) site.
 
 #### [Prelude](https://idris-lang.github.io/Idris2/prelude)