From 8c93b6e69470ca09a2e331bfcff3b3aeed67bfbd Mon Sep 17 00:00:00 2001
From: Daniel Rocha <daniel@rocha.io>
Date: Sun, 6 Nov 2022 18:23:59 +0100
Subject: [PATCH] docs: small updates to README

---
 README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index ed3f228..a5388aa 100644
--- a/README.md
+++ b/README.md
@@ -6,11 +6,9 @@ trusted HTTP(S) server, or to determine the time of the remote machine.
 
 ## Installation
 
-### From pre-built binaries
+Download the binary for your platform from the [releases page](https://github.com/danroc/htp/releases/latest).
 
-Download the binary from the [releases page](https://github.com/danroc/htp/releases/latest).
-
-### From source
+Or install it with `go`:
 
 ```bash
 go install github.com/danroc/htp/cmd/htp@latest
@@ -18,6 +16,8 @@ go install github.com/danroc/htp/cmd/htp@latest
 
 ## Building
 
+To build the main application, run:
+
 ```console
 go build ./cmd/htp
 ```
@@ -25,7 +25,7 @@ go build ./cmd/htp
 ## Algorithm
 
 Suppose that _T_ is the correct time (remote time) and our local time is offset
-by _θ_.
+by _θ_ (thus local time is _T + θ_).
 
 To approximate _θ_, we perform these steps: