Some edits and small additions