Little cleanup in introduction