OPEC: Crude output falls slightly in October