Fix mistakes reported by @dylanharrington in the documentation