re-do OcL extension