Reword a few parts of the introduction

This commit tweaks the wording of a few parts of the introduction to make
minor improvements to its readability.