diff --git a/src/intro/install/verify.md b/src/intro/install/verify.md
index 64fde3c..5630e0d 100644
--- a/src/intro/install/verify.md
+++ b/src/intro/install/verify.md
@@ -42,8 +42,8 @@ Info : stm32f3x.cpu: hardware has 6 breakpoints, 4 watchpoints
 ```
 
 The contents may not match exactly but you should get the last line about
-breakpoints and watchpoints. If you got it terminate the OpenOCD process and
-move to the [next section].
+breakpoints and watchpoints. If you got it then terminate the OpenOCD process
+and move to the [next section].
 
 [next section]: /install/hardware.html
 
diff --git a/src/intro/introduction.md b/src/intro/introduction.md
index a4e73f6..fa021e2 100644
--- a/src/intro/introduction.md
+++ b/src/intro/introduction.md
@@ -57,9 +57,9 @@ If you are unfamiliar with anything mentioned above or if you want more informat
 |--------------|----------|-------------|
 | Rust         | [Rust Book 2018 Edition](https://doc.rust-lang.org/book/2018-edition/index.html) | If you are not yet comfortable with Rust, we highly suggest reading the this book. |
 | Rust         | [Rust Book Second Edition](https://doc.rust-lang.org/book/second-edition) | - |
-| Rust, Embedded | [Embedded Rust Bookshelf](https://rust-embedded.github.io/bookshelf/) | - |
+| Rust, Embedded | [Embedded Rust Bookshelf](https://rust-embedded.github.io/bookshelf/) | Here you can find several other resources provided by Rust's Embedded Working Group. |
 | Rust, Embedded | [Embedonomicon](https://rust-embedded.github.io/embedonomicon/) | The nitty gritty details when doing embedded programming in Rust. |
-| Rust, Embedded | [embedded FAQ](https://rust-embedded.github.io/bookshelf/faq.html) | Frequently asked questions about Rust in an embedded context |
+| Rust, Embedded | [embedded FAQ](https://rust-embedded.github.io/bookshelf/faq.html) | Frequently asked questions about Rust in an embedded context. |
 | Interrupts | [Interrupt](https://en.wikipedia.org/wiki/Interrupt) | - |
 | Memory-mapped IO/Peripherals | [Memory-mapped I/O](https://en.wikipedia.org/wiki/Memory-mapped_I/O) | - |
 | SPI, UART, RS232, USB, I2C, TTL | [Stack Exchange about SPI, UART, and other interfaces](https://electronics.stackexchange.com/questions/37814/usart-uart-rs232-usb-spi-i2c-ttl-etc-what-are-all-of-these-and-how-do-th) | - |
@@ -79,7 +79,7 @@ vendors, and often even different between Microcontroller families from the same
 vendor.
 
 For this reason, we suggest purchasing the [STM32F3DISCOVERY] development board
-for the purpose of following the exmaples in this book.
+for the purpose of following the examples in this book.
 
 [STM32F3DISCOVERY]: http://www.st.com/en/evaluation-tools/stm32f3discovery.html
 
diff --git a/src/start.md b/src/start.md
index 4a6be86..1ca996c 100644
--- a/src/start.md
+++ b/src/start.md
@@ -9,6 +9,6 @@ flashing and debugging embedded programs. You will be able to try most of the
 examples without any special hardware as we will show you the basics using
 QEMU, a popular open-source hardware emulator. The only section where hardware
 is required is, naturally enough, the [Hardware](./start/hardware.md) section,
-where we use use OpenOCD to program an [STM32F3DISCOVERY].
+where we use OpenOCD to program an [STM32F3DISCOVERY].
 
 [STM32F3DISCOVERY]: http://www.st.com/en/evaluation-tools/stm32f3discovery.html