List of abbreviations, minor fixes in introduction