Fixed some typos.
Fixed a few more typos; consistent use of tool names.
Rewording in background on mutation testing.