Minor edits, mostly to the sticky notes