Minor edits that I did while reading