Minor fixes and comments for the introduction
Minor fixes up to S4