Typos

Just rectified some typos and formulations.

Initial commit by @vferries. Thanks!