From ffca42f10f1dab28a82bc49b8fef3c24626cce32 Mon Sep 17 00:00:00 2001
From: jlh <48520973+Jlh18@users.noreply.github.com>
Date: Mon, 19 Jul 2021 19:01:32 +0100
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index b01edbc..1ff2096 100644
--- a/README.md
+++ b/README.md
@@ -23,11 +23,11 @@ https://github.com/agda/cubical) (version 0.3)
 and make sure Agda knows where your cubical library is 
 by following instructions on the [library management page](
 https://agda.readthedocs.io/en/latest/tools/package-system.html?highlight=library%20management).
-(In short: locate (or create) your `libraries` file and add a line 
+In short: locate (or create) your `libraries` file and add a line 
 ```
 the-directory/cubical.agda-lib
 ```
-to it, where `the-directory` is the location of `cubical.agda-lib` on your computer.)
+to it, where `the-directory` is the location of `cubical.agda-lib` on your computer.
 
 Get the HoTT Game by [cloning this repository](
 https://git-scm.com/book/en/v2/Git-Basics-Getting-a-Git-Repository)