Update the things

Fix typos, formatting.