small edits and red comment in intro