OPEC pumps quarter of a million more b/d in May