Fix type in introduction