Minor edits in overview