Minor text adaptations to the introduction