Minor changes: couple broken links, typos