EIn Remark 3.9.5, (ix), added a reference to (Ob9-2)