Here are some minor changes and comments for the last part.