Minor updates

Done via GitHub's web editor. Apologies if it's not indented correctly.