same remark as before, regarding extension points